1. Construction et verification de programmes
المؤلف: / Roland C. Backhouse
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Computer programes
رده :
QA
76
.
6
.
B3C6
2. Construction et verification de programmes
المؤلف: BACKHOUSE,ROLAND C
المکتبة: (طهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
B22
1989
3. Program construction and verification
المؤلف: Backhouse, Roland C.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers
رده :
QA
76
.
7
.
B28
1986
4. Program construction and verification
پدیدآورنده : Roland C. Backhouse
موضوع : Computer programs,Computer programs- Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Program construction and verification
المؤلف: Backhouse, Roland C
المکتبة: (طهران)
موضوع: ، Electronic digital computers -- Programming
رده :
QA
76
.
7
.
B28
1986
6. Syntax of programming languages: theory and practice
المؤلف: Backhouse, Roland C.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
